package model.solver;

/**
 * Type of solver available.
 * @author stephane
 *
 */
public enum ESolver {
	MINISAT,
	RSAT;
}
